341. Studien zu Frege =
المؤلف: Matthias Schirn (Hrsg.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Frege, Gottlob,1848-1925.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Logique symbolique et mathématique.,Mathématiques-- Philosophie.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.
رده :
QA9
.
S78
342. Subsystems of Second Order Arithmetic
المؤلف: by Stephen G. Simpson.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
343. The Arché papers on the mathematics of abstraction /
المؤلف: edited by Roy T. Cook.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Abstraction.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,Abstraction.,Logic, Symbolic and mathematical.,MATHEMATICS-- History & Philosophy.,Mathematics-- Philosophy.,Sciences humaines.,Sciences sociales.
رده :
QA8
.
4
.
A73
2007eb
344. <The> Arché papers on the Mathematics of Abstraction
المؤلف: \ edited by Roy T. Cook.
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Logic, symbolic and mathematical,منطق ریاضی,a04,a04,Mathematics -- Philosophy.,ریاضیات -- فلسفه
رده :
QA
9
.
A7
2007
E-Book
,
345. The Big Typescript, TS. 213 /
المؤلف: Ludwig Wittgenstein ; edited and translated by C. Grant Luckhardt and Maximilian Aue
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical,Mathematics-- Philosophy,Semantics (Philosophy)
رده :
B3376
.
W563
B4713
2005
346. <The> Elements of Advanced Mathematics
المؤلف: \ Steven G. Krantz
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Mathematics,Mathematics -- Textbooks,Logic, Symbolic and mathematical -- Textbooks,ریاضیات,ریاضیات -- کتاب‌های درسی,منطق ریاضی -- کتاب‌های درسی
رده :
E-Book
,
347. The Frege reader
المؤلف: Frege, Gottlob
المکتبة: كتابخانه دانشگاه مفيد (قم)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,Philosophy ، Mathematics,، Philosophy
رده :
B3245
.
F22
E52
1997
348. The Frege reader
المؤلف: Frege, Gottlob, 8481-5291
المکتبة: (طهران)
موضوع: ، Logic,، Logic, Symbolic and mathematical,Philosophy ، Language and languages,، Mathematics -- Philosophy,، Philosophy
رده :
B
3245
.
F73F7
349. The Higher Infinite :
المؤلف: by Akihiro Kanamori.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Mathematics.,Topology.
رده :
QA248
.
B935
1997
350. The Ordered Weighted Averaging Operators
المؤلف: edited by Ronald R. Yager, Janusz Kacprzyk.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.
351. <The> Oxford Handbook of Philosophy of Mathematics and Logic
المؤلف: / edited by Stewart Shapiro
المکتبة: (طهران)
موضوع: ریاضیات, -- فلسفه,Mathematics - Philosophy,Logic, Symbolic and mathematical - Philosophy
رده :
QA8
,.
4
.
O94
352. The Oxford handbook of philosophy of mathematics and logic
المؤلف: edited by Stewart Shapiro
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
353. The Oxford handbook of philosophy of mathematics and logic
المؤلف: edited by Stewart Shapiro
المکتبة: (طهران)
موضوع: Handbooks, manuals, etc ، Mathematics -- Philosophy,Philosophy -- Handbooks, manuals, etc ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O964
354. The Oxford handbook of philosophy of mathematics and logic
المؤلف: / edited by Stewart Shapiro
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics , Philosophy,Logic, Symbolic and mathematical , Philosophy
رده :
E-BOOK
355. The Oxford handbook of philosophy of mathematics and logic
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: Philosophy ، Mathematics,Philosophy ، Logic, Symbolic and mathematical
رده :
QA
8
.
4
.
O94
2005
356. The Oxford handbook of philosophy of mathematics and logic
المؤلف: / edited by Stewart Shapiro
المکتبة: كتابخانه جامع جامعة المصطفی (ص) العالمية (قم)
موضوع: Mathematics -- Philosophy,Logic, Symbolic and mathematical. -- Philosophy
رده :
QA8
.
4
.
O94
2005
357. The Oxford handbook of philosophy of mathematics and logic
المؤلف: edited by Stewart Shapiro
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical -- Philosophy
رده :
QA
8
.
4
.
O94
2005
358. The Palgrave centenary companion to Principia Mathematica
المؤلف: edited by Nicholas Griffin and Bernard Linsky.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.,Russell, Bertrand, -- 1872-1970. -- Principles of mathematics.,Whitehead, Alfred North, -- 1861-1947.
رده :
QA9
.
W53
E358
9999
359. The Real Number
المؤلف: / by John Stillwell
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Mathematics,Logic, Symbolic and mathematical,Electronic books
رده :
E-BOOK
